Given a subset
H
of a group
G
and an element
a
of
G
,
a
is
coset
representative.